Higher-Ranked Exception Types
نویسنده
چکیده
We present a type-and-effect system that derives an exceptionannotated type signature for a given term of a simply typed nonstrict functional language with general recursion and a list data type. This signature declares the set of exceptional values that may be present among the values of the term, or produced by terms of function type. Higher-ranked effect polymorphism and effect operators reminiscent of System F! help to achieve precision and clarity. By restricting the use of higher-ranked polymorphism and operators to the effects, we conjecture the inference problem to remain decidable (in contrast to the type inference problem for System F! ). We give a type inference algorithm that builds on the techniques developed by Holdermans and Hage (2010). The types in System F! form a simply typed -calculus. Similarly, the effects in our system form a simply typed algebraic -calculus embellished with the ACI-structure of sets ( ). We briefly study this language in its own right.
منابع مشابه
Exploiting Type Annotations
The Haskell type system has been designed in such a way that all allowed types can be inferred automatically; any explicit type specification only serves as a means of documentation and safeguarding. Consequently, a programmer is free to omit any type signature, and the program will still type check. The price to be paid for this convenience is limited expressiveness of the type system: even if...
متن کاملFriendship networks and social status
In empirical studies of friendship networks participants are typically asked, in interviews or questionnaires , to identify some or all of their close friends, resulting in a directed network in which friendships can, and often do, run in only one direction between a pair of individuals. Here we analyze a large collection of such networks representing friendships among students at US high and j...
متن کاملQuality of care: a comparison of preferences between medical specialists and patients with chronic diseases.
UNLABELLED In this study, we have looked for differences between medical specialists and patients with chronic diseases (COPD, rheumatoid arthritis and diabetes mellitus) in preferences of aspects of care in relation to the quality of care. Firstly, to enumerate relevant aspects for chronic diseases, open interviews and a concept mapping were conducted among patients with chronic disease, and m...
متن کامل1 When and Why ? A Critical Survey on Coordination Failure in the Laboratory 1
Coordination games with Pareto-ranked equilibria have attracted major theoretical attention over the past two decades. Two early path-breaking sets of experimental studies were widely interpreted as suggesting that coordination failure is a common phenomenon in the laboratory. We identify the major determinants that seem to affect the incidence, and/or emergence, of coordination failure in the ...
متن کاملAuthorial and institutional stratification in open access publishing: the case of global health research
Using a database of recent articles published in the field of Global Health research, we examine institutional sources of stratification in publishing access outcomes. Traditionally, the focus on inequality in scientific publishing has focused on prestige hierarchies in established print journals. This project examines stratification in contemporary publishing with a particular focus on subscri...
متن کامل